Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software
نویسندگان
چکیده
منابع مشابه
Formal languages and analysis of contract-oriented software
In this work we present a visual model called CO Diagrams for the specification of e-contracts. This model includes specification of obligations, permissions, prohibitions, reparations and restrictions such as real time constraints. We also define a formal semantics of the visual model intended for the analysis and verification of the modeled contracts.
متن کاملFlacos'08 Workshop Proceedings Flacos'08 Second Workshop on Formal Languages and Analysis of Contract-oriented Software Acknowledgments a Framework for Contract-based Reasoning: Motivation and Application 77 Cc-pi: a Constraint-based Language for Contracts with Service Level Agreements
Service Level Agreements are a key issue in Service Oriented Computing. SLA contracts specify client requirements and service guarantees, with emphasis on Quality of Service (cost, performance, availability, etc.). We overview a simple model of contracts for QoS and SLAs that combines two basic programming paradigms: name-passing calculi and concurrent constraint programming. In the resulting c...
متن کاملthe Sixth International Workshop on Languages
The notion of isolating the \common case" is a well known computer science principle. This paper describes ZPL, a language that treats data parallelism as a common case of MIMD parallelism. This separation of concerns has many bene ts. It allows us to de ne a clean and concise language for describing data parallel computations, and this in turn leads to e cient parallel execution. Our particula...
متن کاملGRACE TECHNICAL REPORTS Proceedings of the Sixth Asian Workshop on Foundations of Software
Over a period of more than 40 years, Computer Scientists have been proposing mathematical approaches to software development. We have seen countless papers about: • Description and analysis of networks of hardware elements (logic design) • Specification and verification of sequential programs. • Specification and verification of concurrently executing programs • Specification and description of...
متن کاملOn Attributes of Objects in Object-Oriented Software Analysis
One of the modern paradigms to develop a system is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles. There is a sequence of activities to develop an analysis model. In the first step, we work in developing an initial use case model. Then in the second step, they identify a number of concepts and build a glossary of partic...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2012
ISSN: 2075-2180
DOI: 10.4204/eptcs.94.0